\begin{titlepage}
\begin{center}
\Large
Universidade Federal de Minas Gerais\\
Departamento de Ciência da Computação\\
Verificação Automática\\
\vspace{0.5cm}
Leonel Fonseca Ivo \\
Rangel Silva Oliveira \\
\LARGE\par\vfill\textsc{
\textbf{Trabalho Prático 2}}
\par\bigskip\normalfont
Modelagem do Processor $\mu$RISC
\par\vfill\Large
\today
\normalsize
\end{center}
\end{titlepage}
